Integer programming - PDFSEARCH.IO - Document Search Engine

Integer programming
Results: 382

#	Item
181	Perl versiondocumentation - bigint NAME bigint - Transparent BigInteger support for Perl SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:37:29 Computer programming NaN Arbitrary-precision arithmetic Integer Perl module GNU Multiple Precision Arithmetic Library Perl Floating point Computing Computer arithmetic Software engineering
182	Custom Alarms Printing with Visual I/O Impression d’alarmes en mode personnalisé sous Visual I/O UK : It is possible to be informed by program of the arrival of an alarm and to make a particular treatment like sending Add to Reading List Source URL: download.arsoft-int.com Language: English - Date: 2009-06-25 09:48:57 Procedural programming languages Data types Out-of-band management Serial port ALGOL 68 Parity bit Printf format string Integer Computing Software engineering Programming language theory
183	Curriculum Vitae Susanne Albers Department of Computer Science Technische Universit¨at M¨unchen BoltzmannstrGarching, Germany Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2014-08-14 12:36:50 Susanne Albers Symposium on Theoretical Aspects of Computer Science Michael Mitzenmacher International Colloquium on Automata Languages and Programming European Symposium on Algorithms Kurt Mehlhorn Integer sorting SWAT and WADS conferences Lecture Notes in Computer Science Theoretical computer science Computer science Applied mathematics
184	 1      Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2008-12-09 12:52:05 Integer sequences Tower of Hanoi Recursion Factorial Stack Function Permutation While loop Catalan number Mathematics Combinatorics Programming idioms
185	Planning with Numerical State Variables through Mixed Integer Programming Menkes van den Briel Subbarao Kambhampati Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-28 20:23:33 Planning Domain Definition Language Cutting-plane method Artificial intelligence Applied mathematics Mathematics Non-classical logic Logic programming Operations research Automated planning and scheduling Mathematical optimization
186	An Empirical Study of Some x86 SIMD Integer Extensions Isabelle Hurbain and Georges-Andr´e Silber Centre de recherche en informatique, Mines de Paris, Fontainebleau, France, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-01-18 04:33:55 Computer programming Parallel computing Intrinsic function SIMD SSE2 Streaming SIMD Extensions Vectorization X86 MMX Computing Computer architecture X86 instructions
187	An evaluation of the automatic generation of parallel X86 SIMD integer instructions by GCC and ICC Isabelle Hurbain November, 15th Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-02-28 09:49:25 X86 instructions X86 architecture C programming language Concurrency control Volatile variable Parallel computing CPUID X86 MOV Computing Computer architecture Software
188	Adresses English version – SOSI standard 4.0 Adresses English version – SOSI standard 4.0 Adresses Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2013-01-29 08:07:57 Computing Computer programming C++ Object-oriented programming Subtype polymorphism Type theory Reference String Integer Data types Software engineering Primitive types
189	Efficient Reasoning about Data Trees via Integer Linear Programming Claire David Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:00:04 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Symbol Tree automaton Satisfiability Theoretical computer science Applied mathematics Mathematics
190	Static Analysis of Control-Command Systems: Floating-Point and Integer Invariants Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-10 03:58:53 Systems engineering Cross-platform software Mathematical modeling Simulink MATLAB Control theory Control system Embedded system Clang Software Simulation software Visual programming languages

UPDATE